181. Principia mathematica
پدیدآورنده : Whitehead, Alfred North
موضوع : ، Mathematics,، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
182. Principia mathematica
پدیدآورنده : Alfred North Whitehead,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics,Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W59
9
183. Principia mathematica
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Mathematics,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W5
1927
184. Principia mathematica, to *56
پدیدآورنده : by Alfred North Whitehead and Bertrand Russell,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W52
9
1967
185. Principia mathematica to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
186. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W52
1997
187. Principia mathematica, to *56
پدیدآورنده : By Alfred North Whitehead and Bertrand Russell
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
188. Principia mathematica : to * 56
پدیدآورنده : Whitehead, Alfred North, 1681-7491
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
W5
1927
189. Principia mathematica, to 56
پدیدآورنده : / by Alfred North Whitehead and Bertrand Russell
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
W54
1978
190. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
191. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: (طهران)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
192. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
193. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
194. Proof and knowledge in mathematics
پدیدآورنده : edited by Michael Detelfsen
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
P766
195. Proofs and refutations : the logic of mathematical discovery
پدیدآورنده : Lakatos, Imre, 2291-4791.
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
L35
1976
196. Pure mathematics
پدیدآورنده : / by J.K. Backhouse, S.P.T. Houldsworth and B.E.D. Cooper
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
B23
1974
197. Purity, spectra and localisation
پدیدآورنده : Prest, Mike
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
9
.
P74P8
198. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده : edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
199. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
200. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999